#ifndef XXK_SGI_H
#define XXK_SGI_H


#include "xparameters.h"


#define SGI_ID_0   0
#define SGI_ID_1   1
#define SGI_ID_2   2
#define SGI_ID_3   3
#define SGI_ID_4   4
#define SGI_ID_5   5
#define SGI_ID_6   6
#define SGI_ID_7   7
#define SGI_ID_8   8
#define SGI_ID_9   9
#define SGI_ID_10  10
#define SGI_ID_11  11
#define SGI_ID_12  12
#define SGI_ID_13  13
#define SGI_ID_14  14


#define CPU0 0x1
#define CPU1 0x2


// 将软件中断ID对应上某个CPU
s32  XScuGic_SoftwareIntr(XScuGic *InstancePtr, u32 Int_Id, u32 Cpu_Id);
//XScuGic_SoftwareIntr(&scuGic, SGI_ID_0, CPU1);

#endif
